Buy Used and New Jim Woodcock Books

Using Z : Specification, Refinement, and Proof

by Jim Woodcock,J. C. P. Woodcock,Jim Davies

ISBN 13: 9780139484728

Format: Textbook Binding (392 pages)
Publisher: Prentice Hall
Published: 22 Mar 1996

Save for later

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings: 2885 (Lecture Notes in Computer Science)

by Jim Woodcock,Jin Song Dong

ISBN 13: 9783540204619

Format: Paperback (696 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday (Lecture Notes in Computer Science)

by Zhiming Liu,Jim Woodcock,Huibiao Zhu

ISBN 13: 9783642396977

Format: Paperback (428 pages)
Publisher: Springer
Published: 31 Jul 2013

Save for later

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, ... 8050 (Lecture Notes in Computer Science)

by Zhiming Liu, Jim Woodcock, Huibiao Zhu

ISBN 13: 9783642397202

Format: Paperback (296 pages)
Publisher: Springer
Published: 19 Jul 2013

Save for later